A Survey of Residuated Lattices
نویسندگان
چکیده
Residuation is a fundamental concept of ordered structures and categories. In this survey we consider the consequences of adding a residuated monoid operation to lattices. The resulting residuated lattices have been studied in several branches of mathematics, including the areas of lattice-ordered groups, ideal lattices of rings, linear logic and multi-valued logic. Our exposition aims to cover basic results and current developments, concentrating on the algebraic structure, the lattice of varieties, and decidability. We end with a list of open problems that we hope will stimulate further research.
منابع مشابه
Regularity in residuated lattices
In this paper, we study residuated lattices in order to give new characterizations for dense, regular and Boolean elements in residuated lattices and investigate special residuated lattices in order to obtain new characterizations for the directly indecomposable subvariety of Stonean residuated lattices. Free algebra in varieties of Stonean residuated lattices is constructed. We introduce in re...
متن کاملTopological Residuated Lattices
In this paper, we study the separtion axioms $T_0,T_1,T_2$ and $T_{5/2}$ on topological and semitopological residuated lattices and we show that they are equivalent on topological residuated lattices. Then we prove that for every infinite cardinal number $alpha$, there exists at least one nontrivial Hausdorff topological residuated lattice of cardinality $alpha$. In the follows, we obtain some ...
متن کاملRADICAL OF FILTERS IN RESIDUATED LATTICES
In this paper, the notion of the radical of a filter in residuated lattices is defined and several characterizations of the radical of a filter are given. We show that if F is a positive implicative filter (or obstinate filter), then Rad(F)=F. We proved the extension theorem for radical of filters in residuated lattices. Also, we study the radical of filters in linearly o...
متن کاملSemi-G-filters, Stonean filters, MTL-filters, divisible filters, BL-filters and regular filters in residuated lattices
At present, the filter theory of $BL$textit{-}algebras has been widelystudied, and some important results have been published (see for examplecite{4}, cite{5}, cite{xi}, cite{6}, cite{7}). In other works such ascite{BP}, cite{vii}, cite{xiii}, cite{xvi} a study of a filter theory inthe more general setting of residuated lattices is done, generalizing thatfor $BL$textit{-}algebras. Note that fil...
متن کاملDIRECTLY INDECOMPOSABLE RESIDUATED LATTICES
The aim of this paper is to extend results established by H. Onoand T. Kowalski regarding directly indecomposable commutative residuatedlattices to the non-commutative case. The main theorem states that a residuatedlattice A is directly indecomposable if and only if its Boolean center B(A)is {0, 1}. We also prove that any linearly ordered residuated lattice and anylocal residuated lattice are d...
متن کاملOn residuated lattices with universal quantifiers
We consider properties of residuated lattices with universal quantifier and show that, for a residuated lattice $X$, $(X, forall)$ is a residuated lattice with a quantifier if and only if there is an $m$-relatively complete substructure of $X$. We also show that, for a strong residuated lattice $X$, $bigcap {P_{lambda} ,|,P_{lambda} {rm is an} m{rm -filter} } = {1}$ and hence that any strong re...
متن کامل